 howfar
  where
   howfar = if X eq 0 then 0 else 1 + next howfar fi ;
  end
